what is an enumerator programming